A. E. Vardy (auth.): search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (17)
Most Popular
List
- List
- Table

1

Constructing Coleridge: The Posthumous Life of the Author

Constructing Coleridge: The Posthumous Life of the Author

Palgrave Macmillan UK

Alan D. Vardy (auth.)

Year:

2010

Language:

english

File:

PDF, 1.78 MB

0 / 0

english, 2010

2

Adhesion 14

Adhesion 14

Springer Netherlands

W. J. Harvey, A. E. Vardy (auth.), K. W. Allen (eds.)

Year:

1990

Language:

english

File:

PDF, 6.87 MB

0 / 0

english, 1990

3

CONCUR'98 Concurrency Theory: 9th International Conference Nice, France, September 8–11, 1998 Proceedings

CONCUR'98 Concurrency Theory: 9th International Conference Nice, France, September 8–11, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Moshe Y. Vardi (auth.), Davide Sangiorgi, Robert de Simone (eds.)

Year:

1998

Language:

english

File:

PDF, 7.47 MB

0 / 0

english, 1998

4

Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers

Springer-Verlag Berlin Heidelberg

Alexander Aiken, Dexter Kozen, Moshe Vardi, Ed Wimmers (auth.), Egon Börger, Yuri Gurevich, Karl Meinke (eds.)

Year:

1994

Language:

english

File:

DJVU, 2.87 MB

0 / 0

english, 1994

5

Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Manuel Núñez, Ismael Rodríguez (auth.), Doron A. Peled, Moshe Y. Vardi (eds.)

Year:

2002

Language:

english

File:

PDF, 5.46 MB

0 / 0

english, 2002

6

Database Theory — ICDT '95: 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings

Database Theory — ICDT '95: 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Tomasz Imielinski (auth.), Georg Gottlob, Moshe Y. Vardi (eds.)

Year:

1995

Language:

english

File:

DJVU, 4.05 MB

0 / 0

english, 1995

7

Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Manuel Núñez, Ismael Rodríguez (auth.), Doron A. Peled, Moshe Y. Vardi (eds.)

Year:

2002

Language:

english

File:

PDF, 4.63 MB

0 / 0

english, 2002

8

Database Theory — ICDT '95: 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings

Database Theory — ICDT '95: 5th International Conference Prague, Czech Republic, January 11–13, 1995 Proceedings

Springer-Verlag Berlin Heidelberg

Tomasz Imielinski (auth.), Georg Gottlob, Moshe Y. Vardi (eds.)

Year:

1995

Language:

english

File:

PDF, 6.92 MB

0 / 0

english, 1995

9

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Moshe Y. Vardi (auth.), Tiziana Margaria, Wang Yi (eds.)

Year:

2001

Language:

english

File:

PDF, 4.55 MB

0 / 0

english, 2001

10

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Franz Baader, Jan Hladik, Carsten Lutz (auth.), Moshe Y. Vardi, Andrei Voronkov (eds.)

Year:

2003

Language:

english

File:

PDF, 4.08 MB

0 / 0

english, 2003

11

Codes, Curves, and Signals: Common Threads in Communications

Codes, Curves, and Signals: Common Threads in Communications

Tom Høholdt (auth.), Alexander Vardy (eds.)

Year:

1998

Language:

english

File:

PDF, 8.67 MB

0 / 0

english, 1998

12

Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July 16–20, 1984

Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July 16–20, 1984

Springer-Verlag Berlin Heidelberg

Ronald Fagin, Moshe Y. Vardi (auth.), Jan Paredaens (eds.)

Year:

1984

Language:

english

File:

PDF, 16.44 MB

0 / 0

english, 1984

13

Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July 16–20, 1984

Automata, Languages and Programming: 11th Colloquium Antwerp, Belgium, July 16–20, 1984

Springer-Verlag Berlin Heidelberg

Ronald Fagin, Moshe Y. Vardi (auth.), Jan Paredaens (eds.)

Year:

1984

Language:

english

File:

DJVU, 5.65 MB

0 / 0

english, 1984

14

Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings

Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Moshe Y. Vardi (auth.), Thomas Eiter, Leonid Libkin (eds.)

Year:

2005

Language:

english

File:

PDF, 7.92 MB

0 / 0

english, 2005

15

John Clare, Politics and Poetry

John Clare, Politics and Poetry

Palgrave Macmillan UK

Alan D. Vardy (auth.)

Year:

2003

Language:

english

File:

PDF, 23.59 MB

0 / 0

english, 2003

16

Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings

Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Nicolas Halbwachs (auth.), Alan J. Hu, Moshe Y. Vardi (eds.)

Year:

1998

Language:

english

File:

DJVU, 5.51 MB

0 / 0

english, 1998

17

Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings

Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Moshe Y. Vardi (auth.), Thomas Eiter, Leonid Libkin (eds.)

Year:

2005

Language:

english

File:

DJVU, 4.19 MB

0 / 0

english, 2005